dynamic equivalence relation

动态等价关系